<?php
//000000086400s:11:"1042312.600";
?>